Optimal. Leaf size=159 \[ \frac{c^2 x \sqrt{d x-c} \sqrt{c+d x} \left (2 a d^2+b c^2\right )}{16 d^4}+\frac{x (d x-c)^{3/2} (c+d x)^{3/2} \left (2 a d^2+b c^2\right )}{8 d^4}-\frac{c^4 \left (2 a d^2+b c^2\right ) \tanh ^{-1}\left (\frac{\sqrt{d x-c}}{\sqrt{c+d x}}\right )}{8 d^5}+\frac{b x^3 (d x-c)^{3/2} (c+d x)^{3/2}}{6 d^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.123454, antiderivative size = 159, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 7, integrand size = 31, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.226, Rules used = {460, 90, 12, 38, 63, 217, 206} \[ \frac{c^2 x \sqrt{d x-c} \sqrt{c+d x} \left (2 a d^2+b c^2\right )}{16 d^4}+\frac{x (d x-c)^{3/2} (c+d x)^{3/2} \left (2 a d^2+b c^2\right )}{8 d^4}-\frac{c^4 \left (2 a d^2+b c^2\right ) \tanh ^{-1}\left (\frac{\sqrt{d x-c}}{\sqrt{c+d x}}\right )}{8 d^5}+\frac{b x^3 (d x-c)^{3/2} (c+d x)^{3/2}}{6 d^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 460
Rule 90
Rule 12
Rule 38
Rule 63
Rule 217
Rule 206
Rubi steps
\begin{align*} \int x^2 \sqrt{-c+d x} \sqrt{c+d x} \left (a+b x^2\right ) \, dx &=\frac{b x^3 (-c+d x)^{3/2} (c+d x)^{3/2}}{6 d^2}+\frac{1}{2} \left (2 a+\frac{b c^2}{d^2}\right ) \int x^2 \sqrt{-c+d x} \sqrt{c+d x} \, dx\\ &=\frac{\left (b c^2+2 a d^2\right ) x (-c+d x)^{3/2} (c+d x)^{3/2}}{8 d^4}+\frac{b x^3 (-c+d x)^{3/2} (c+d x)^{3/2}}{6 d^2}+\frac{\left (b c^2+2 a d^2\right ) \int c^2 \sqrt{-c+d x} \sqrt{c+d x} \, dx}{8 d^4}\\ &=\frac{\left (b c^2+2 a d^2\right ) x (-c+d x)^{3/2} (c+d x)^{3/2}}{8 d^4}+\frac{b x^3 (-c+d x)^{3/2} (c+d x)^{3/2}}{6 d^2}+\frac{\left (c^2 \left (b c^2+2 a d^2\right )\right ) \int \sqrt{-c+d x} \sqrt{c+d x} \, dx}{8 d^4}\\ &=\frac{c^2 \left (b c^2+2 a d^2\right ) x \sqrt{-c+d x} \sqrt{c+d x}}{16 d^4}+\frac{\left (b c^2+2 a d^2\right ) x (-c+d x)^{3/2} (c+d x)^{3/2}}{8 d^4}+\frac{b x^3 (-c+d x)^{3/2} (c+d x)^{3/2}}{6 d^2}-\frac{\left (c^4 \left (b c^2+2 a d^2\right )\right ) \int \frac{1}{\sqrt{-c+d x} \sqrt{c+d x}} \, dx}{16 d^4}\\ &=\frac{c^2 \left (b c^2+2 a d^2\right ) x \sqrt{-c+d x} \sqrt{c+d x}}{16 d^4}+\frac{\left (b c^2+2 a d^2\right ) x (-c+d x)^{3/2} (c+d x)^{3/2}}{8 d^4}+\frac{b x^3 (-c+d x)^{3/2} (c+d x)^{3/2}}{6 d^2}-\frac{\left (c^4 \left (b c^2+2 a d^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{\sqrt{2 c+x^2}} \, dx,x,\sqrt{-c+d x}\right )}{8 d^5}\\ &=\frac{c^2 \left (b c^2+2 a d^2\right ) x \sqrt{-c+d x} \sqrt{c+d x}}{16 d^4}+\frac{\left (b c^2+2 a d^2\right ) x (-c+d x)^{3/2} (c+d x)^{3/2}}{8 d^4}+\frac{b x^3 (-c+d x)^{3/2} (c+d x)^{3/2}}{6 d^2}-\frac{\left (c^4 \left (b c^2+2 a d^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{1-x^2} \, dx,x,\frac{\sqrt{-c+d x}}{\sqrt{c+d x}}\right )}{8 d^5}\\ &=\frac{c^2 \left (b c^2+2 a d^2\right ) x \sqrt{-c+d x} \sqrt{c+d x}}{16 d^4}+\frac{\left (b c^2+2 a d^2\right ) x (-c+d x)^{3/2} (c+d x)^{3/2}}{8 d^4}+\frac{b x^3 (-c+d x)^{3/2} (c+d x)^{3/2}}{6 d^2}-\frac{c^4 \left (b c^2+2 a d^2\right ) \tanh ^{-1}\left (\frac{\sqrt{-c+d x}}{\sqrt{c+d x}}\right )}{8 d^5}\\ \end{align*}
Mathematica [A] time = 0.163397, size = 135, normalized size = 0.85 \[ \frac{\sqrt{d x-c} \sqrt{c+d x} \left (d x \sqrt{1-\frac{d^2 x^2}{c^2}} \left (b \left (-2 c^2 d^2 x^2-3 c^4+8 d^4 x^4\right )-6 a d^2 \left (c^2-2 d^2 x^2\right )\right )+3 \left (2 a c^3 d^2+b c^5\right ) \sin ^{-1}\left (\frac{d x}{c}\right )\right )}{48 d^5 \sqrt{1-\frac{d^2 x^2}{c^2}}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.013, size = 240, normalized size = 1.5 \begin{align*}{\frac{{\it csgn} \left ( d \right ) }{48\,{d}^{5}}\sqrt{dx-c}\sqrt{dx+c} \left ( 8\,{\it csgn} \left ( d \right ){x}^{5}b{d}^{5}\sqrt{{d}^{2}{x}^{2}-{c}^{2}}+12\,{\it csgn} \left ( d \right ){x}^{3}a{d}^{5}\sqrt{{d}^{2}{x}^{2}-{c}^{2}}-2\,{\it csgn} \left ( d \right ){x}^{3}b{c}^{2}{d}^{3}\sqrt{{d}^{2}{x}^{2}-{c}^{2}}-6\,{\it csgn} \left ( d \right ){d}^{3}\sqrt{{d}^{2}{x}^{2}-{c}^{2}}xa{c}^{2}-3\,{\it csgn} \left ( d \right ) d\sqrt{{d}^{2}{x}^{2}-{c}^{2}}xb{c}^{4}-6\,\ln \left ( \left ( \sqrt{{d}^{2}{x}^{2}-{c}^{2}}{\it csgn} \left ( d \right ) +dx \right ){\it csgn} \left ( d \right ) \right ) a{c}^{4}{d}^{2}-3\,\ln \left ( \left ( \sqrt{{d}^{2}{x}^{2}-{c}^{2}}{\it csgn} \left ( d \right ) +dx \right ){\it csgn} \left ( d \right ) \right ) b{c}^{6} \right ){\frac{1}{\sqrt{{d}^{2}{x}^{2}-{c}^{2}}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 0.969889, size = 284, normalized size = 1.79 \begin{align*} \frac{{\left (d^{2} x^{2} - c^{2}\right )}^{\frac{3}{2}} b x^{3}}{6 \, d^{2}} - \frac{b c^{6} \log \left (2 \, d^{2} x + 2 \, \sqrt{d^{2} x^{2} - c^{2}} \sqrt{d^{2}}\right )}{16 \, \sqrt{d^{2}} d^{4}} - \frac{a c^{4} \log \left (2 \, d^{2} x + 2 \, \sqrt{d^{2} x^{2} - c^{2}} \sqrt{d^{2}}\right )}{8 \, \sqrt{d^{2}} d^{2}} + \frac{\sqrt{d^{2} x^{2} - c^{2}} b c^{4} x}{16 \, d^{4}} + \frac{\sqrt{d^{2} x^{2} - c^{2}} a c^{2} x}{8 \, d^{2}} + \frac{{\left (d^{2} x^{2} - c^{2}\right )}^{\frac{3}{2}} b c^{2} x}{8 \, d^{4}} + \frac{{\left (d^{2} x^{2} - c^{2}\right )}^{\frac{3}{2}} a x}{4 \, d^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.64964, size = 243, normalized size = 1.53 \begin{align*} \frac{{\left (8 \, b d^{5} x^{5} - 2 \,{\left (b c^{2} d^{3} - 6 \, a d^{5}\right )} x^{3} - 3 \,{\left (b c^{4} d + 2 \, a c^{2} d^{3}\right )} x\right )} \sqrt{d x + c} \sqrt{d x - c} + 3 \,{\left (b c^{6} + 2 \, a c^{4} d^{2}\right )} \log \left (-d x + \sqrt{d x + c} \sqrt{d x - c}\right )}{48 \, d^{5}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int x^{2} \left (a + b x^{2}\right ) \sqrt{- c + d x} \sqrt{c + d x}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.31216, size = 311, normalized size = 1.96 \begin{align*} \frac{6 \,{\left (\frac{2 \, c^{4} \log \left ({\left | -\sqrt{d x + c} + \sqrt{d x - c} \right |}\right )}{d^{2}} +{\left ({\left (d x + c\right )}{\left (2 \,{\left (d x + c\right )}{\left (\frac{d x + c}{d^{2}} - \frac{3 \, c}{d^{2}}\right )} + \frac{5 \, c^{2}}{d^{2}}\right )} - \frac{c^{3}}{d^{2}}\right )} \sqrt{d x + c} \sqrt{d x - c}\right )} a +{\left (\frac{6 \, c^{6} \log \left ({\left | -\sqrt{d x + c} + \sqrt{d x - c} \right |}\right )}{d^{4}} +{\left ({\left (2 \,{\left ({\left (d x + c\right )}{\left (4 \,{\left (d x + c\right )}{\left (\frac{d x + c}{d^{4}} - \frac{5 \, c}{d^{4}}\right )} + \frac{39 \, c^{2}}{d^{4}}\right )} - \frac{37 \, c^{3}}{d^{4}}\right )}{\left (d x + c\right )} + \frac{31 \, c^{4}}{d^{4}}\right )}{\left (d x + c\right )} - \frac{3 \, c^{5}}{d^{4}}\right )} \sqrt{d x + c} \sqrt{d x - c}\right )} b}{48 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]